Formal Transformation from UML Sequence Diagrams to Queueing Petri Nets. - Van-Doc Vu; Trong-Bach Nguyen; Quyet-Thang Huynh (SoMeT, 2019)