SFC++: a tool for developing distributed real-time control software | Publicación