info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04234%2F2013/PTResearch Centre in Real-Time and Embedded Computing Systems