Mock, M.M.Mock2022-03-092022-03-092002https://publica.fraunhofer.de/handle/publica/340985enreal-timeformal model005006629An approach to formalize object interactions in distributed real-time systemsconference paper