@inproceedings{GoldmanKatz07,
  author = {Max Goldman and Shmuel Katz},
  title  = {{MAVEN}: Modular Aspect Verification},
  pages  = {308--322},
  editor    = {Orna Grumberg	 and Michael Huth},
  booktitle = {Proc. 13th Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07)},
  year      = 2007,
  isbn      = {978-3-540-71208-4},
  publisher = {Springer-Verlag},
  series    = {LNCS},
  volume    = 4424,
}