An Eclipse Plug-in for the Java PathFinder Runtime Verification System. - Francesca Arcelli Fontana; Claudia Raibulet; Ivano Rigo; Luigi Ubezio (SEW, 2006)