Roberto Cavada Alessandro Cimatti Andrea Micheli Marco Roveri Angelo Susi Stefano Tonetta OthelloPlay: a plug-in based tool for requirement formalization and validation. 59 2011 TOPI@ICSE https://doi.org/10.1145/1984708.1984728 https://www.wikidata.org/entity/Q62041231 conf/icse/2011topi db/conf/icse/topi2011.html#CavadaCMRST11