Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin
International Journal on Software Tools for Technology Transfer
2014
article
1-20
MoVeS Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances CRYSTAL Critical System Engineering Acceleration (sorry - only available in German)