Reasoning about multiple related abstractions with MultiStar

@inproceedings{Staden2010ReasoningAM,
  title={Reasoning about multiple related abstractions with MultiStar},
  author={Stephan van Staden and Cristiano Calcagno},
  year={2010}
}