LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect. - Pierre Wodey; Geoffrey Camarroque; Fabrice Baray; Richard Hersemeule; Jean-Philippe Cousin (MEMOCODE, 2003)