Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL | IEEE Conference Publication | IEEE Xplore