Pascal Felber Frank Bellosa Herbert Bos European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13, 2012 ACM EuroSys 2012 978-1-4503-1223-3 http://dl.acm.org/citation.cfm?id=2168836 db/conf/eurosys/eurosys2012.html