H. Treseler, O. Stursberg, P. W. H. Chung, S. Yang: An Open Software Architecture for the Verification of Industrial Controllers /jucs_7_1/an_open_software_architecture
T. Tóth, F. Erdélyi: Systems Engineering: A New Approach to Complex IT-based Technological Systems in Engineering Education /jucs_12_9/systems_engineering_a_new%20