Handling State-Machines Specifications with GATeL | Publicación