Nikola Milanovic Miroslaw Malek Service-Oriented Operating System: A Key Element in Improving Service Availability. 31-42 2007 conf/isas/2007 ISAS http://dx.doi.org/10.1007/978-3-540-72736-1_4 db/conf/isas/isas2007.html#MilanovicM07