Combining Formal Methods: An Exercise in Integration. - Jean-Charles Grégoire; Michael J. Ferguson; Lou Pino (FORTE, 1995)

Vigilance lapse identification using sparse EEG electrode arrays. - Narges Armanfard; Majid Komeili; James P. Reilly; Lou Pino (CCECE, 2016)