"Microcos"@cs .