Marco Maratea Efficient decision procedures for the integration of planning and formal verification in advanced systems. 87-89 2006 19 AI Commun. 1 http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=19&issue=1&spage=87 db/journals/aicom/aicom19.html#Maratea06