Modeling distributed embedded applications on an interface file system | IEEE Conference Publication | IEEE Xplore