Title: Review of Estelle and LOTOS with Respect to Critical Computer Applications