La mejor respuesta
Depende de lo que quieras decir con «programación de sistemas» y «mejor».
Por ejemplo, ATS (http://www.ats-lang.org/) puede cumplir con todos sus criterios y más: es un lenguaje seguro con características de simultaneidad de alto nivel, soporte pero …