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.
F. Mitzlaff, M. Atzmueller, D. Benz, A. Hotho, and G. Stumme. Analysis of Social Media and Ubiquitous Data, volume 6904 of Lecture Notes in Computer Science, page 79-98. Springer Berlin Heidelberg, (2011)
T. Pardo, L. Antiqueira, M. Nunes, O. Oliveira Jr., and L. Costa. Proceedings of the 7th Workshop on Computational Processing of Written and Spoken Portuguese (PROPOR), volume 3960 of LNAI, page 1-10. Springer-Verlag, (May 2006)