@inproceedings{FKAGBZMJ:ICESS2012,
author = {Fatma Krichen and Brahim Hamid and Bechir Zalila and Mohamed
Jmaiel},
title = {{Design-Time Verification of Reconfigurable Real-Time
Embedded Systems}},
booktitle = {Proceedings of the 9th IEEE International Conference on
Embedded Software and Systems (ICESS 2012)},
year = {2012},
month = {June},
address = {Liverpool, UK},
keywords  = {DeploymentManagement},
publisher = {IEEE Computer Society},
}