* Extended Deadline for submission to April 14, 2014 (hard deadline)*
in conjunction with the 2nd International Conference on NETworked sYStems (NETYS'2014) and
the 6th International Spring School on Distributed Systems (METIS'2014).