Chaouat, L.Vachoux, A.Mlynek, D.2006-06-142006-06-142006-06-14199510.1007/978-1-4613-1309-0_5https://infoscience.epfl.ch/handle/20.500.14299/230794LTS3An Expert Assistant for Hardware Systems Specificationtext::book/monograph::book part or chapter