@InProceedings{Kim07, author={M.~Kim}, title="Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances", booktitle="Automated Technology for Verification and Analysis (ATVA)", series={LNCS}, volume={4762}, pages="489--500", year=2007, month="October 22-25", address="Tokyo, Japan" }