publication venue for Markov models for 2004 architecture for safety related systems 2007 OPC for process maintenance 2007 Towards a model-driven software engineering methodology for organic computing systems 2005