The "Behavior Models and Verification" website was moved to:
http://d3s.mff.cuni.cz/teaching/nswi101/