GOTO 2013 • Connected Device Development by Contract • Ulf Wiger