J. Gerard, Holzmann Formal UML Modeling Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

A. Basu, S. Bensalem, M. Bozga, and .. Beno??tbeno??t-caillaud-maude, Beno??tBeno??t Delahaye, and Axel Legay Formal Semantics and Analysis of Behavioral AADL Models in Real-Time, p.47

M. Robert, Hierons and Manuel Núñez Specification and Testing of E-Commerce Agents Described by Using UIOLTSs, p.78

J. Pardo, M. Núñez, and M. , Carmen Ruiz Testing Attribute-Based Transactions in SOC