Towards the automatic derivation of computer performance models from the real time and embedded systems design | IEEE Conference Publication | IEEE Xplore