Formal Development of Reactive Systems: Case Study Production Cell | DealShopping Deutschland