The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages.