Software Modeling of an Electronic Ballot Reader. - Lou Montulli; Rosa Arias; Chad Feller; Walter Smith (Software Engineering Research and Practice, 2004)