Building on previous presentations of SEEM at the 2003 and 2004 ESC (W) conferences, and the feedback received for these presentations, this paper offers a detailed step-by-step approach for analyzing, designing and implementing an embedded system. We present here a “cookbook” that clearly delineates SEEM artifact creation from problem description to implementation. This paper also describes tracking the dependencies among the artifacts, and the manner in which iteration is embraced in order to handle discovered bugs and changing requirements. SEEM’s main hallmark&#151namely, traceability from an unambiguous problem definition to the implementation&#151is explicitly discussed.