Stav dette: Designing a new class of distributed systems Rao Mikkilineni. [electronic resource] /