Clarifying and extending IEC-60848: Precise Grafcet Implementation for Embedded Systems | Publicación