http://www.informatik.uni-stuttgart.de/stx/linux.html
http://www.sel.cs.hiroshima-cu.ac.jp/~sato/stx/TOP.html