This course is part of the Master of Science in Embedded Computing Systems jointly offered by the University of Pisa and the Scuola Superiore Sant’Anna