Formal specification and validation of a static FIFO queue model using coloured Petri nets | Publicación