@InProceedings{johnsen11foveoos,
  author =       {Einar Broch Johnsen and Olaf Owe and Rudolf Schlatte
                  and S.\ Lizeth {Tapia Tarifa}},
  title =        {Validating Timed Models of Deployment Components with
                  Parametric Concurrency},
  editor =       {B. Beckert and C. March{\'e}},
  booktitle =    {Proc.\ International Conference on Formal Verification
                  of Object-Oriented Software ({FoVeOOS}'10)},
  year =         2011,
  series =       {Lecture Notes in Computer Science},
  volume =       6528,
  pages =        {46--60},
  publisher =    {Springer-Verlag},
}