ICSOFT-EA
Khlifi, O.; Mosbahi, O.; Khalgui, M.; Frey, G.:GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints. Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015), ISBN 978-989-758-114-4, pp. 373-380, Colmar/Alsace, France, Jul. 2015.