Gaid, et al.. A Methodology for Improving Software Design Lifecycle in Embedded Control Systems. IEEE, 2008, doi:10.1109/date.2008.4484905.