Prototyped implementation of Device model