Uppsala, Sweden

Free
Tool for modeling, simulating & verifying real-time embedded systems, esp.