SCADE 6: A formal language for embedded critical software development (invited paper) | IEEE Conference Publication | IEEE Xplore