Formal Methods in System and MpSoC Performance Analysis and Optimisation | IEEE Conference Publication | IEEE Xplore