little changes including doi for MARTE paper