The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineering and verification of complex computer-based systems (where complex means large, distributed and heterogeneous) in critical applications, with special emphasis on model-based approaches and industrial case-studies. Critical computer-based systems include real-time control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.
R. Drechsler, S. Autexier, и C. Lüth. Dynamics in Logistics: Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, глава 1, Springer, Cham, (2017)
S. Staab, T. Walter, G. Gröner, и F. Silva Parreiras. Reasoning Web: Semantic Technologies for Software Engineering, том 6325 из Lecture Notes in Computer Science, Springer, Berlin, (2010)