Tommaso Bolognesi What happens? On notions of event in formal methods and elsewhere. 1-3 2002 conf/opodis/2002 OPODIS db/conf/opodis/opodis02.html#Bolognesi02