Guarded transitions in evolving specifications (2002)

by Dusko Pavlovic, Douglas R Smith