[SCITEPRESS - Science and and Technology Publications 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Vienna, Austria (2014.8.28-2014.8.30)] Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study