An abstract interpreter for the specification language LOTOS. - Franco Fiore; Fosca Giannotti (FORTE, 1994)

The Italian Army C2 evolution: From the current SIACCON2 land command & control system to the LC2EVO using "agile" software development methodology. - Angelo Messina; Franco Fiore (ICMCIS, 2016)