Even simple interactive devices have many usability and safety problems. This talk reviews some of those problems, and how they can be detected either in design (using formal methods) or by getting feedback from users (using new digital story telling techniques).