Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN) | Publicación