Holzmann Formal UML Modeling Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning ,
Beno??tBeno??t Delahaye, and Axel Legay Formal Semantics and Analysis of Behavioral AADL Models in Real-Time, p.47 ,
Hierons and Manuel Núñez Specification and Testing of E-Commerce Agents Described by Using UIOLTSs, p.78 ,
Carmen Ruiz Testing Attribute-Based Transactions in SOC ,