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