Jorge, J.A.2022-03-022022-03-0220033-540-20159-9https://publica.fraunhofer.de/handle/publica/139610Interactive systems. Design, specification, and verification