Bounded model checking for interpreted systems: Preliminary experimental results - Lomuscio, A; Lasica, T; Penczek, W (SPRINGER-VERLAG BERLIN, 2003)