testing real-time embedded software using uppaal-tron : an industrial case study kg larsen , m mikucionis , b nielsen , a skou proceedings of the 5th acm international conference on & hellip ; , 2005.0