Rob J. van Glabbeek
-
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)