Supersystem Programming with Model. - Noah S. Prywes; Yuan Shi; Boleslaw K. Szymanski; Jine S. Tseng (Computer, 1986)

Real-Time Software Life Cycle with the Model System. - Jine S. Tseng; Boleslaw K. Szymanski; Yuan Shi; Noah S. Prywes (IEEE Trans. Software Eng., 1986)