Palkovic, MartinMiranda, MiguelCatthoor, FranckyVerkest, Diederik2021-10-142021-10-142001https://imec-publications.be/handle/20.500.12860/5559High-level condition expression transformations for design explorationBook chapter