Executable Graphics for PBNM. - Rui Pedro Lopes; Nuno Raimundo; Maria João Varanda Pereira; José Luís Oliveira; Vitor Roque (IPOM, 2005)