Publications

• [BKR+20] J. C. Bürger, H. Kausch, D. Raco, J. O. Ringert, B. Rumpe, S. Stüber, and M. Wiartalla. Towards an Isabelle Theory for distributed, interactive systems - the untimed case, Technical report AIB-2020-02, RWTH Aachen University, March, 2020.
  
• [KPRR20] H. Kausch, M. Pfeiffer, D. Raco, and B. Rumpe. MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety, In: AIAA Scitech 2020 Forum, January, 2020, American Institute of Aeronautics and Astronautics.
  
• [KPRR20a] H. Kausch, M. Pfeiffer, D. Raco, and B. Rumpe. An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems, In: Regina Hebig, Robert Heinrich, editors, Combined Proceedings of the Workshops at Software Engineering 2020, 2581, February, 2020, CEUR Workshop Proceedings.