Bass, J.M., Browne, A.R., Croll, P.R., Fleming, P.J., "Prototype framework of tools for the design of real-time distributed control software", , 1994