publicações selecionadas STAMP-BASED METHOD FOR SYNTHESIZING THE CONTROLLER LOGIC TO MEET SAFETY REQUIREMENTS