Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler. Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. In Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau, editors, Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings. Volume 4063 of Lecture Notes in Computer Science, pages 33-49, Springer, 2006. [doi]
Abstract is missing.