Procedimento concursal para doutorado nível inicial - Projeto RELIABLE - Avanços nas metodologias de projeto de controlo para sistemas críticos de segurança aplicados à robótica