Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.8), CONVECS, 2013. ,
LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard, vol.8807, 1989. ,
Enhancements to LOTOS (E-LOTOS), International Standard, vol.15437, p.2001, 2001. ,
CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013. ,
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056
TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005. ,
DOI : 10.1007/s10009-004-0153-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262
Model Based Testing with Labelled Transition Systems, pp.1-38, 2008. ,
DOI : 10.1007/978-3-540-78917-8_1
Model-based Testing Approaches for the EnergyBus. Reports of SFB, pp.1860-9821 ,
Model- Based Testing of Reactive Systems ? Advanced Lectures, Lecture Notes in Computer Science, vol.3472, 2005. ,
Compositional Testing with ioco, Lecture Notes in Computer Science, vol.2931, pp.86-100, 2003. ,
DOI : 10.1007/978-3-540-24617-6_7
OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), pp.68-84, 1998. ,
DOI : 10.1007/BFb0054165
Abstractions for Model-Based Testing, Electronic Notes in Theoretical Computer Science, vol.116, pp.59-71, 2004. ,
DOI : 10.1016/j.entcs.2004.02.086
Atomic Action Refinement in Model Based Testing, 2007. ,
System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specification, Model Checking, Co-simulation, and Test Generation, Software Tools for Technology Transfer (STTT), vol.3, pp.314-331, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072597
Testing Real-Time Systems Using UPPAAL, Lecture Notes in Computer Science, vol.4949, pp.77-117, 2008. ,
DOI : 10.1007/978-3-540-78917-8_3
Model-Based Testing of Automotive Systems, 2008 International Conference on Software Testing, Verification, and Validation, pp.485-493, 2008. ,
DOI : 10.1109/ICST.2008.45
Model Checking the FlexRay Physical Layer Protocol, Lecture Notes in Computer Science, vol.128, issue.6, pp.132-147, 2010. ,
DOI : 10.1016/j.entcs.2005.04.014
An Overview of Formal Verification for the Time-Triggered Architecture, Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'02), pp.83-106, 2002. ,
DOI : 10.1007/3-540-45739-9_7
Switched FlexRay: Increasing the effective bandwidth and safety of FlexRay networks, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), pp.1-8, 2010. ,
DOI : 10.1109/ETFA.2010.5641268
Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile, Computer Safety, Reliability, and Security. Lecture Notes in Computer Science, vol.7612, pp.87-98, 2012. ,
DOI : 10.1007/978-3-642-33678-2_8
Model-based development and verification of control software for electric vehicles, Proceedings of the 50th Annual Design Automation Conference on, DAC '13, pp.1-969, 2013. ,
DOI : 10.1145/2463209.2488853
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids, Lecture Notes in Computer Science, vol.7609, pp.420-439, 2012. ,
DOI : 10.1007/978-3-642-34026-0_31