• Generating optimal test cases for real-time systems using DIVINE model checkerPal, Deepak; Vain, JüriBEC 2016 : 2016 15th Biennial Baltic Electronics Conference : proceedings of the 15th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 3-5, 2016, Tallinn, Estonia2016 / p. 99-102 : ill http://www.ester.ee/record=b2150914*est