A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems by André, É, Barbot, B, Démoulins, C, Hillah, L, Hulin−Hubard, F, Kordon, F, Linard, A, Petrucci, L