MIDAS: metodologia orientada ao objecto para desenvolvimento de sistemas embebidos Teses