Oussama Khlifi Olfa Mosbahi Mohamed Khalgui Georg Frey GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints. 373-380 2015 ICSOFT-EA https://doi.org/10.5220/0005523503730380 conf/icsoft/2015ea db/conf/icsoft/icsoft2015ea.html#KhlifiMKF15