Execution of TILCO Temporal Logic Specifications. - Pierfrancesco Bellini; Andrea Giotti; Paolo Nesi (ICECCS, 2002)

A distributed industrial application for quality control of clinched boards based on computer vision. - Ivan Bruno; Andrea Giotti; Massimo Monsignori; Paolo Nesi (SEKE, 2002)

TILCO Temporal Logic for Real-Time Systems Implementation in C++. - Pierfrancesco Bellini; Andrea Giotti; Paolo Nesi; Davide Rogai (SEKE, 2003)