A planning language for embedded systems. - Spalazzi, Luca (Journal of Experimental & Theoretical Artificial Intelligence, 1999)