Tool support to implement LOTOS formal specifications

Formalizing and integrating the dynamic model for object-oriented modeling

IEEE Transactions on Software Engineering

From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

Compositional Performance Modelling with TIPPtool

TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools

On the application of formal description techniques to the design of interception systems for GSM mobile terminals

Journal of Systems and Software