SIKS Dissertation Series No. 2013-26 This research has been carried out under the auspices of SIKS, the Dutch research School for Information and Knowledge Systems. This work is part of the IOP GenCom U-Care project (http://ucare.ewi.utwente.nl), which is sponsored by the Dutch Ministry of Economic Affairs under contract IGC0816.