4 books • 2 series
Book #19: Analysis and Synthesis of Interactive Component and Connector Systems
Book #20: Montiarcautomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with Montiarcautomaton
Book #25: An Extensible Component & Connector Architecture Description Infrastructure for Multi-Platform Modeling
Book #28: Modeling Robotics Tasks for Better Separation of Concerns, Platform-Independence, and Reuse
Book #30: Towards a Sustainable Artifact Model
Book #45: Towards an Isabelle Theory for distributed, interactive systems
Book #46: Model Analyses Based on Semantic Differencing and Automatic Model Repair
Book #48: MontiCore Language Workbench and Library Handbook
