Formal techniques for performance analysis: blending SAN and PEPA
scientific article; zbMATH DE number 5145020