info:eu-repo/grantAgreement/FCT/5876-PPCDTI/PTDC%2FEIA-CCO%2F122240%2F2010/PTQais: Quantitative analysis of interacting systems: foundations and algorithms