TY - RPRT TI - Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop) AU - Jan Jürjens AU - Eduardo B. Fernandez AU - Robert B. France AU - Bernhard Rumpe AU - Constance Heitmeyer PY - 2014 DO - 10.1007/978-3-540-31797-5_9 UR - https://arxiv.org/abs/1409.6608 ID - 1409.6608 ER -