OthelloPlay: a plug-in based tool for requirement formalization and validation