Searching the list for recommendations on what modelling tools to use with erlang comes up with some old discussions on the subject. Does anyone here have any (possibly more recent) experiences e.g. with telelogic tools ? ( http://www.telelogic.com/ ) --