Tekstiviesti: Study on formal modeling and verification of safety computer platform