IPL: An Integration Property Language for Multi-model Cyber-physical Systems.

Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan

Browse the full FM paper archive.