Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)