A methodology for improving software design lifecycle in embedded control systems | IEEE Conference Publication | IEEE Xplore