Checking Subsystem Safety Properties in Compositional Reachability Analysis

@inproceedings{Cheung-Kramer:ICSE96,
  author    = {Shing{-}Chi Cheung and
               Jeff Kramer},
  title     = {Checking Subsystem Safety Properties in Compositional Reachability Analysis},
  booktitle = {ICSE},
  pages     = {144--154},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
}