The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation | IEEE Conference Publication | IEEE Xplore