Specifying and Analyzing (1998)

by Robert J Allen, Remi Douence, David Garlan
Venue:Dynamic Software Architectures”, Conference on Fundamental Approaches to Software Engineering