Guarded transitions in evolving specifications (2002)

by Dusko Pavlovic, Douglas R Smith
Venue:Proceedings of AMAST 2002