Creating Embedded Kiosk Devices with EWB