Verifying Parameterized Refinement. - Maty Sylla; Frank A. Stomp; Willem P. de Roever (ICECCS, 2005)