Mlynek, DanielMunk, Charles2005-03-162005-03-16199510.5075/epfl-thesis-1309https://infoscience.epfl.ch/handle/20.500.14299/209793enA methodology for designing and using a hardware system specification environmentthesis::doctoral thesis