Browse Research and Tech Reports - Computer Science by Subject "real-time distributed systems, software patterns, formal verification, model checking"