Towards robust OSes for appliances: a new approach based on domain-specific languages.

Gilles Muller Charles Consel Renaud Marlet Luciano Porto Barreto Fabrice Mérillon Laurent Réveillère Towards robust OSes for appliances: a new approach based on domain-specific languages. 19-24 2000 conf/sigopsE/2000 ACM SIGOPS European Workshop http://doi.acm.org/10.1145/566726.566732 db/conf/sigopsE/sigopsE2000.html#MullerCMBMR00