A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). - Spencer Park; Emil Sekerinski (F-IDE@FLoC, 2018)