Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL. - Saurabh Tiwari 001; Kumar Iyer; Eduard Paul Enoiu (APSEC, 2022)