Measurement of OS services and its application to performance modeling and analysis of integrated embedded software | IEEE Conference Publication | IEEE Xplore