Reino Kurki-Suonio Kari Systä Jüri Vain Real-Time Specification and Modeling with Joint Actions. 113-140 1993 20 Sci. Comput. Program. 1-2 db/journals/scp/scp20.html#Kurki-SuonioSV93