1. Baur, P. (1983). On the Use of a Computer-aided Specification Tool to Support the Development and Licensing of Safety-Related Systems. Proceedings of IFAC/IFIP/IFORS-Conf. on Control in Transportation Systems. Baden-Baden, Germany, April 1983 Pergamon Press, Oxford, New York 1983.
2. Baur, P. (1983). Fault Avoidance and Fault Removal Features of the Computer-Aided Development Support System EPOS. Proceedings Third IFAC/IFIP workshop, Safety of Computer Control Systems SAFECOMP 1983, Cambridge U.K. Sept. 1983 (Ed.: J.A. Baylis). Pergamon Press, Oxford, New York 1983, pp. 103–110.
3. Biewald, J., Göhner, P., Lauber, R., Schelling, H. (1979). EPOS-A Specification and Design Technique for Computer Controlled Real-Time Automation Systems. Proc. 4th Int. Conf. Software Engineering, München 1979 IEEE Comp. Soc., Los Alamitos, Cal., 1979, pp 245–250.
4. Biewald, J., Göhner, P., Schelling, H. (1980). Real-Time Features of EPOS: Formulation, Evaluation and Documentation Proc. IFAC/IFIP Workshop on Real-Time Programming, Leibnitz, Austria, April 1980 (Ed. V.H. Haase). Pergamon Press, Oxford, New York 1981, pp 95–101.
5. Biewald, J., Joho, E., Jovalekic, S., Schelling, H. (1980). Application of the Specification and Design Technique EPOS to a Process Control Problem. Proc. IFAC Symposium on Digital Computer Applications to Process Control, Düsseldorf, Oct. 1980 Pergamon Press, Oxford, New York, pp 517–522.