Abhay Vardhan Mahesh Viswanathan Learning to verify branching time properties. 35-61 2007 31 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-006-0026-x db/journals/fmsd/fmsd31.html#VardhanV07