Authors: Gorla, G Nebel, W Moser, E Villar, E

Citation: G. Gorla et al., System specification experiments on a common benchmark, IEEE DES T, 17(3), 2000, pp. 22-32