Robert Allen Rémi Douence David Garlan Specifying and Analyzing Dynamic Software Architectures. 21-37 http://link.springer.de/link/service/series/0558/bibs/1382/13820021.htm 1998 FASE db/conf/fase/fase98.html#AllenDG98