An alternative polychronous model and synthesis methodology for model-driven embedded software | IEEE Conference Publication | IEEE Xplore