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.
E. Dashofy, A. van der Hoek, and R. Taylor. Proceedings of the 24rd International Conference on Software Engineering, 2002. ICSE 2002, page 266--276. IEEE, (May 2002)
F. Radeke, and P. Forbrig. Proceedings of the 6th international conference on Task models and diagrams for user interface design, page 184--197. Berlin/Heidelberg, Springer-Verlag, (2007)
A. Neto, and R. de Mattos Fortes. Proceedings of the 28th ACM International Conference on Design of Communication, page 151--158. New York, NY, USA, ACM, (2010)