Hypnos: understanding and treating sleep conflicts in smartphones
SymDrive: Testing Drivers without Devices