Published in: Lecture notes in computer science ; 1076000

Published in: ACM Transactions on Cyber-Physical Systems

Published in: Proceedings of the IEEE

Published in: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Published in: Foundations of Computer Software. Future Trends and Techniques for Development

Published in: Model-Based Engineering of Embedded Real-Time Systems

Published in: Lecture Notes in Computer Science

Published in: Humanities and Social Sciences Communications

Published in: at - Automatisierungstechnik

Published in: Cyber Physical Systems. Model-Based Design

Published in: ACM Transactions on Embedded Computing Systems