Teng, J.-W.J.-W.TengYIH-KUEN TSAY2018-09-102018-09-102003http://www.scopus.com/inward/record.url?eid=2-s2.0-35248900622&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/301710Composing temporal-logic specifications with machine assistancebook