@article{Mammar2011, title = "A systematic approach to integrate common timed security rules within a TEFSM-based system specification", journal = "Information and Software Technology", volume = "In Press, Corrected Proof", number = "", pages = " - ", year = "2011", note = "", issn = "0950-5849", doi = "DOI: 10.1016/j.infsof.2011.07.004", url = "http://www.sciencedirect.com/science/article/pii/S0950584911001625", author = "Amel Mammar and Wissam Mallouli and Ana Cavalli", keywords = "Formal methods", keywords = "Timed extended finite state machines", keywords = "Nomad language", keywords = "Test generation" }