Embedded systems software specification and design methods | IET Conference Publication | IEEE Xplore