Richard Dapoigny Patrick Barlatier Laurent Foulloy Eric Benoit Formal Goal Generation for Intelligent Control Systems. 712-721 2005 conf/ieaaie/2005 IEA/AIE http://dx.doi.org/10.1007/11504894_99 db/conf/ieaaie/ieaaie2005.html#DapoignyBFB05