1. K.M. Kavi and S.M. Yang, Real Time Systems Design Methodologies — An introduction and survey, The Journal of Systems and Software, Vol. 18, 1992, 85–99.
2. S.M. Yang, K.M. Kavi and F.T. Sheldon, A Development Model for Large, Complex, Real-Time Embedded Systems, Submitted to Special Issues of IEEE Software, 1992.
3. V. Madisetti, J. Walrand and D. Messerschmitt, Synchronization in Message Passing Computers: Models, Algorithms and Analysis, Proc. of sCs Conf. on Modeling Simulation, San Diego, January 17–19, 1990, 35–48.
4. R.C. Tausworthe, A General Software Reliability Process Simulation Technique, Jet Propulsion Laboratory (Cal. Inst. of Technology, 4800 Oak Grove Dr., Pasadena, CA 91109) Publication 91–7, April 1, 1991, 1–53.
5. D. Harel, Biting the Silver Bullet: Toward a Brighter Future for System Development, IEEE Computer, January 1992, 8–20.