N. Milanovic and B. Milic. Model-based Methodology and Framework for Assessing Service and Business Process Availability. Engineering Reliable Service Oriented Architecture: Managing Complexity and Service Level Agreements, IGI Global, 2011. N. Milanovic and B. Milic. Automatic Generation of Service Availability Models. IEEE Transactions on Services Computing, volume 4, 2011. M. Malek, G. Hoffmann, N. Milanovic, S. Bruening, R. Meyer, and B. Milic. Methoden und Werkzeuge zur Verfügbarkeitsermittlung. Humboldt University Berlin, issue 219, 2007. B. Milic, N. Milanovic, and M. Malek. Prediction of Partitioning in Location-aware Mobile Ad Hoc Networks. Hawaii International Conference on System Sciences, (Minitrack on Quality of Service in Mobile and Wireless Networks), 2005. P. Ibach, N. Milanovic, J. Richling, V. Stantchev, A. Wiesner, and M. Malek. CERO: CE RObots Community. IEE Proceedings Software, Special Issue on Embedded Systems, volume 152, 2005.