A Formal Approach for Component Based Embedded Software Modelling and Analysis | IEEE Conference Publication | IEEE Xplore