Systems Modeling: Methodologies and Tools - Puliafito; Trivedi, Kishor S. (Springer International Publishing, 2019)