Project report: high-reliable object-oriented embedded software design | IEEE Conference Publication | IEEE Xplore