О международном проекте в области проверки правильности программного обеспечения встроенных систем