Karsten Loer: Model-based automated analysis for dependable interactive systems. University of York, UK 2003