Bounded Model Checking for All Regular Properties. - Markus Jehle; Jan Johannsen; Martin Lange; Nicolas Rachinsky (BMC@CAV, 2005)