An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language | IEEE Conference Publication | IEEE Xplore