Developing model checkers using PAT - Liu, Y. (2013)
10.1007/978-3-642-15643-4_30