@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 = {{14th International Conference on High Performance Computing and Communication, 9th International Conference on Embedded Software and Systems (HPCC-ICESS)}},
  publisher = {IEEE},
  address   = {Liverpool, United Kingdom},
  pages     = {1487-1494},
  year      = {2012},
  month     = {jun},
  doi       = {10.1109/HPCC.2012.217},
  note      = {Ranked B on CORE},
}