RM-Synthesis: problems and perspectivesдоклад на конференции