Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto.

Muhammad Umer Tariq, Jacques Florence, Marilyn Wolf

Browse the full MODELS paper archive.