Maâmar El-Amine Hamri Claudia S. Frydman Lucile Torres Specifying and Validating Reactive Systems with CommonKADS Methodology. 39-44 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2773&spage=39 2003 conf/kes/2003-1 KES db/conf/kes/kes2003-1.html#HamriFT03