Alberto Rugnone, Enrico Vicario, Chris D. Nugent, Mark P. Donnelly, David Craig, Cristiano Paggetti, Elena Tamburini. HomeTL: A visual formalism, based on temporal logic, for the design of home based care. In IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA. pages 747-752, IEEE, 2007. [doi]
Abstract is missing.