LaTeX report for Fundamental Models of Embedded Systems