<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>8252</REFNUM><AUTHORS><AUTHOR>Miller,A.</AUTHOR><AUTHOR>Cutts,Q.</AUTHOR></AUTHORS><YEAR>2006</YEAR><TITLE>The use of an Electronic Voting System in a Formal Methods Course</TITLE><PLACE_PUBLISHED>Proceedings of the Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006)</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>3-8</PAGES><LABEL>Miller:2006:8252</LABEL><KEYWORDS><KEYWORD>Electronic Voting System</KEYWORD></KEYWORDS<ABSTRACT>We describe the design of a discussion-based tutorial within a fourth year ``Modelling Reactive Systems'' course facilitated with an electronic voting system. The approach combats confidence and breadth issues, and we report on its effectiveness.</ABSTRACT></RECORD></RECORDS></XML>