"Simple Concurrent Object Oriented Programming" [L1 ] is an Eiffel-oriented DbC-based ETH-Zurich research project. There's no particular connection to Tcl, from all I can tell; I just think it'd be interesting to adapt this to our favorite language.
[Notice how Tcl-friendlier Erlang gets at much the same result from the other side.]