Anders Wall Johan Andersson Christer Norström Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. 130-145 2004 conf/isola/2004 ISoLA http://dx.doi.org/10.1007/11925040_9 db/conf/isola/isola2004.html#WallAN04