Discrete EVent System Specification (DEVS) is a popular formalism which allows specifying and simulating models. Its main drawback is that its implementation is simulator-specific, i.e. models have to be programmed using an Object-Oriented Language (OOL).
['Stéphane Garredu', 'Evelyne Vittori', 'Jean François Santucci', 'Dominique Urbani']
A methodology to specify DEVS domain specific profiles and create profile-based models