Freek van den Berg, Boudewijn R. Haverkort. A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems. In Holger Hermanns, editor, Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings. Volume 12040 of Lecture Notes in Computer Science, pages 242-258, Springer, 2020. [doi]
Abstract is missing.