Methodology for a development of specifications in a dynamic design process: application to special machines | IEEE Conference Publication | IEEE Xplore