Verifying Parametrised Hardware Designs Via Counter Automata. - Smrcka, Ales; Vojnar, Tomás (2007)