Examples and case-study that use OSATE