@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"
}