@InProceedings{clarke11sfm,
  author =       {Dave Clarke and Nikolay Diakov and Reiner H{\"a}hnle and Einar Broch Johnsen
                  and Ina Schaefer and Jan Sch{\"a}fer and Rudolf Schlatte and Peter Y. H. Wong},
  title =        {Modeling Spatial and Temporal Variability with the {HATS}
                  Abstract Behavioral Modeling Language},
  editor =       {Marco Bernardo and Val{\'e}rie Issarny},
  booktitle =    {Proc. 11th Intl.\ School on Formal Methods for the Design of
                 Computer, Communication and Software Systems ({SFM} 2011)},
  year =         2011,
  series =       {Lecture Notes in Computer Science},
  volume =       6659,
  pages =        {417--457},
  publisher =    {Springer-Verlag},
}