Durand-Gasselin, Antoine
Esparza, Javier
Ganty, Pierre
Majumdar, Rupak
Funding for this research was provided by:
Madrid Regional Government (project S2013/ICE-2731, N-Greens Software-Next-GeneRation Energy-EfficieNt Secure Software)
Spanish Ministry of Economy and Competitiveness (project No. TIN2015-71819-P, RISCO-RIgorous analysis of Sophisticated COncurrent and distributed systems)