ProTR: a tool for real-time systems development. - Glaucia D. F. Azevedo; Helio Azevedo; Mário Jino (RSP, 1994)