An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. - Michael A. Medina; Joseph E. Urban (ISADS, 2007)