Engineering of Signaling Systems. - Johannes Lutz; Kristofer Hell; Ralf Westphal; Mathias Mühlhause (Security and Quality in Cyber-Physical Systems Engineering, 2019)