Project title
info:eu-repo/grantAgreement/FCT/SFRH/SFRH/BD/89702/2012/PT/AVAILABILITY EVALUATION OF SOFTWARE ARCHITECTURES THROUGH FORMAL METHODS