Helmut Kerner, Werner Beyerle. A simulator generator based on formal descriptions of architectural, load, and operating system models. In John A. Gosden, Olin G. Johnson, editors, Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976. pages 539-545, ACM, 1976. [doi]
Abstract is missing.