Mlynek, DanielChaouat, Laurent2005-03-162005-03-16199710.5075/epfl-thesis-1670https://infoscience.epfl.ch/handle/20.500.14299/210156enA design environment for knowledge-guided specification of hardware systems via model reusethesis::doctoral thesis