The
special sessions on computer
automated multi-paradigm modeling
at the IEEE Symposium on Computer-Aided Control System Design
in September 2000
present a good overview of the state-of-the-art in this field.
See http://www-er.df.op.dlr.de/kondisk/campam.html
for more information.