@inproceedings{alder06ticc,
  author = {B.T.~Adler and L.~de Alfaro and L.~Dias da Silva and M.~Faella and A.~Legay and V.~Raman and P.~Roy},
  title = {Ticc: A Tool for Interface Compatibility and Composition.},
  booktitle = {CAV'06: Proceedings of 18th International Conference of Computer Aided Verification},
  year = {2006},
  volume = {4144},
  pages = {59-62}
}

@inproceedings{amla01assume,
  author = {N.~Amla and E.~A.~Emerson and K.~S.~Namjoshi and R.~J.~Trefler},
  title = {Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams},
  booktitle = {TACAS 2001: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  publisher = {Springer-Verlag},
  year = {2001},
  pages = {465--479}
}

@inproceedings{Cabodi09Speeding,
  author = {G. Cabodi and P. Camurati and L. Garcia and M. Murciano and S. Nocco and S. Quer},
  title = {Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints},
  booktitle = {DATE '09: Proceedings of the conference on Design, Automation and Test in Europe},
  year = {2009},
  pages = {1686-1691}
}

@incollection{Cansell2001AbstractionandRefinementofFeatures,
  author = {D.~Cansell and D.~Méry},
  title = {Abstraction and Refinement of Features},
  booktitle = {Language Constructs for Designing Features},
  publisher = {Springer-Verlag},
  year = {2001},
  pages = {65--84}
}

@inproceedings{DBLP:conf/lics/ClarkeLM89,
  author = {E.~M.~Clarke and D.~E.~Long and K.~L.~McMillan},
  title = {Compositional Model Checking},
  booktitle = {LICS'89: Proceedings of the 4th Annual Symposium on Logic in Computer Science},
  publisher = {IEEE Computer Society},
  year = {1989},
  pages = {353-362}
}

@inproceedings{6128043,
  author = {Yuzhang Feng and Veeramani, A. and Kanagasabai, R. and Seungmin Rho},
  title = {Automatic Service Composition via Model Checking},
  booktitle = {Services Computing Conference (APSCC), 2011 IEEE Asia-Pacific},
  year = {2011},
  pages = {477 -482},
  doi = {http://dx.doi.org/10.1109/APSCC.2011.54}
}

@inproceedings{jhala01microarchi,
  author = {Jhala, R. and McMillan, K.L.},
  title = {Microarchitecture Verification by Compositional Model Checking.},
  booktitle = {CAV'01: Proceedings of the 13th International Conference on Computer Aided Verification},
  publisher = {Springer},
  year = {2001},
  volume = {2102},
  pages = {396-410}
}

@incollection{springerlink:10.1007/978-3-540-68073-4_4,
  author = {Li, Juncao and Sun, Xiuli and Xie, Fei and Song, Xiaoyu},
  title = {Component-Based Abstraction and Refinement},
  booktitle = {High Confidence Software Reuse in Large Systems},
  publisher = {Springer Berlin / Heidelberg},
  year = {2008},
  volume = {5030},
  pages = {39-51},
  note = {10.1007/978-3},
  url = {http://dx.doi.org/10.1007/978-3-540-68073-4_4}
}

@incollection{springerlink:10.1007/978-3-642-16901-4_15,
  author = {Lomuscio, Alessio and Strulo, Ben and Walker, Nigel and Wu, Peng},
  title = {Assume-Guarantee Reasoning with Local Specifications},
  booktitle = {Formal Methods and Software Engineering},
  publisher = {Springer Berlin / Heidelberg},
  year = {2010},
  volume = {6447},
  pages = {204-219},
  note = {10.1007/978-3-642-16901-4_15},
  url = {http://dx.doi.org/10.1007/978-3-642-16901-4_15}
}

@phdthesis{long93thesis,
  author = {D.~E.~Long},
  title = {Model Checking, Abstraction, and Compositional Verification},
  school = {Carnegie Mellon University},
  year = {1993}
}

@inproceedings{mcmillan98tomasulo,
  author = {K.L.~McMillan},
  title = {Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking.},
  booktitle = {CAV'98: Proceddings of the 10th International Conference on Computer Aided Verification},
  publisher = {Springer},
  year = {1998},
  volume = {1427},
  pages = {110-121}
}

@article{mcmillan00methodology,
  author = {K.L. McMillan},
  title = {A Methodology for Hardware Verification Using Compositional Model Checking},
  journal = {Science of Computer Programming},
  year = {2000},
  volume = {37},
  number = {1--3},
  pages = {279--309},
  url = {citeseer.ist.psu.edu/mcmillan99methodology.html}
}

@inproceedings{DBLP:conf/cav/McMillan97,
  author = {Kenneth L. McMillan},
  title = {A Compositional Rule for Hardware Design Refinement.},
  booktitle = {CAV'97: Proceedings of the 9th International Conference on Computer Aided Verification},
  publisher = {Springer},
  year = {1997},
  volume = {1254},
  pages = {24-35}
}

@phdthesis{peng02thesis,
  author = {H.~Peng},
  title = {Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction},
  school = {Dept. of Electrical and Computer Engenering, Concordia University, Montreal, Quebec, Canada},
  year = {2002}
}

@inproceedings{peng02tableau,
  author = {H.~Peng and Y.~Mokhtari and S.~Tahar},
  title = {Environment Synthesis for Compositional Model Checking.},
  booktitle = {ICCD'02: Proceedings of the 20th International Conference on Computer Design},
  publisher = {IEEE Computer Society},
  year = {2002},
  pages = {70-}
}

@inproceedings{Tripakis201,
  author = {Tripakis, Stavros and Andrade, Hugo and Ghosal, Arkadeb and Limaye, Rhishikesh and Ravindran, Kaushik and Wang, Guoqiang and Yang, Guang and Kormerup, Jacob and Wong, Ian},
  title = {Correct and non-defensive glue design using abstract models},
  booktitle = {Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis},
  publisher = {ACM},
  year = {2011},
  pages = {59--68},
  url = {http://doi.acm.org/10.1145/2039370.2039382},
  doi = {http://doi.acm.org/10.1145/2039370.2039382}
}

@inproceedings{xie03verified,
  author = {F.~Xie and J.C.~Browne},
  title = {Verified Systems by Composition from Verified Components},
  booktitle = {ESEC/FSE 2003 : Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference},
  publisher = {ACM Press},
  year = {2003},
  pages = {277--286},
  doi = {http://doi.acm.org/10.1145/940071.940109}
}

@article{5374376,
  author = {Hao Zheng and Haiqiong Yao and Yoneda, T.},
  title = {Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement},
  journal = {Computers, IEEE Transactions on},
  year = {2010},
  volume = {59},
  number = {4},
  pages = {561 -573},
  doi = {http://dx.doi.org/10.1109/TC.2009.187}
}

@proceedings{DBLP:conf/compos/1997,,
  title = {Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
  booktitle = {COMPOS},
  publisher = {Springer},
  year = {1998},
  volume = {1536}
}