Steven Bradley William Henderson David Kendall Adrian Robson A formal design language for real-time systems with data. 3-29 2001 40 Sci. Comput. Program. 1 db/journals/scp/scp40.html#BradleyHKR01