Add to ORKGLiterature and practice offer a wide range of modeling formalisms, either general (such as Petri Nets, Fault Trees, Queuing Networks) or for special domains. Some examples of formalisms combination techniques (multiformalism) exploit the possibility of using different formal languages to specify different portions of a model, to be eventually solved by integrating different existing performance evaluation tools (multisolution). However every tool is still limited in some respect, and the topic remains an ongoing research issue. This article presents SIMTHESysER, a valuable support for the rapid generation of multiformalism performance evaluation tools and useful for researchers and practitioners willing to exploit flexibility in their ...