CPN-B Tools: an integrated IDE using CPNs and B machines for safe software

• Zakaryae Boudi
• Shi Huibo
• Jan Recho
• Simon Collart-Dutilleul