A formalism and a verification method for bus-based systems - Balarin, Felice (Array, 1995)