Formal methods for conceptual design aiding systems