Murphy, D.D.MurphyPitt, D.H.D.H.Pitt2022-03-082022-03-081992https://publica.fraunhofer.de/handle/publica/32069810.1007/3-540-55092-5_29en004005006Real-timed concurrent refineable behavioursconference paper