You are about to access our book library "Embedded Systems Design Based on Formal Models of Computation full version" .