An extended approach for the behavioral and temporal constraints specification of reactive agent | IEEE Conference Publication | IEEE Xplore