An Interactive Verification Tool Meets an IDE. - Martin Hentschel 002; Stefan Käsdorf; Reiner Hähnle; Richard Bubel (IFM, 2014)