ADL Embedded Systems Case Studies