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.
M. Kwiatkowska, G. Norman, and D. Parker. Computer Performance Evaluation: Modelling Techniques and Tools, page 200--204. Berlin, Heidelberg, Springer Berlin Heidelberg, (2002)
R. s\.enas, P. Curzon, J. Back, and A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)