Narges Khakpour, Farhad Arbab, Eric Rutten.
Synthesizing structural and behavioral control for reconfigurations in component-based systems.
journal on Formal Aspects of Computing, 2016.
http://link.springer.com/article/10.1007/s00165-015-0346-y
Aug 23
new paper in the journal on Formal Aspects of Computing
