Building dependable COTS microkernel-based systems using MAFALDA | IEEE Conference Publication | IEEE Xplore