Puliafito, A., and K. S. Trivedi,  "Systems Modelling: Methodologies and Tools",  Systems Modeling: Methodologies and Tools, vol. VII, Cham, Antonio Puliafito, Kishor S. Trivedi, 2019.