Validated behavioural model of simple devices

Summary
Validated behavioural model of simple devices