@Misc{2018:Ruchkin:IPL,
      AUTHOR = {Ruchkin, Ivan and Sunshine, Joshua and Iraci, Grant and Schmerl, Bradley and Garlan, David},
      TITLE = {Appendix for IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems},
      YEAR = {2018},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/fm2018-appendix.pdf},
      NOTE = {Paper Reference}
}