Ingo Sander Axel Jantsch System modeling and transformational design refinement in ForSyDe [formal system design]. 17-32 2004 23 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://doi.ieeecomputersociety.org/10.1109/TCAD.2003.819898 db/journals/tcad/tcad23.html#SanderJ04