1. A logical basis for component-oriented software and systems engineering;Broy;Comput. J.,2010
2. A model of dynamic systems;Broy,2014
3. Specifying properties of dynamic architectures using configuration traces;Marmsoler,2016
4. On activation, connection, and behavior in dynamic architectures;Marmsoler;Sci. Ann. Comput. Sci.,2016
5. On the semantics of temporal specifications of component-behavior for dynamic architectures;Marmsoler,2017