“COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT” (2017) Acta Polytechnica CTU Proceedings, 11, pp. 1–5. doi:10.14311/APP.2017.11.0001.