FSMC+, a tool for the generation of Java code from statecharts
Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi · 2007
ProVotE is a two-phase project aiming at actuating art. 84 of law 2 -- 5/3/2003 of the Autonomous Province of Trento (Italy), which promotes the introduction of e-voting systems for the next provincial elections in Trentino (Nov. 2008).