Example applications for the IED workshop introducing Arduino and Node.js for controlling hardware devices