A contract-based component model for embedded systems | IEEE Conference Publication | IEEE Xplore