Assumptions and Guarantees for Composable Models in Papyrus for Robotics | IEEE Conference Publication | IEEE Xplore