Cyber-physical systems consist of many hardware and software components. Over the lifetime these their components are often replaced or updated. To avoid integration problems, formal specifications component interface behavior crucial. Such a specification captures not only set provided operations but also order using them constraints on timing behavior. Usually expressed in terms state machine...

We propose a novel method to generate fabrication blueprints from images of carpentered items. While 3D reconstruction is well-studied problem, typical approaches produce representations that are ill-suited for computer-aided design and applications. Our key insight processes define constrain the space objects, can be leveraged develop methods. makes use domain-specific constraints recover not ...