Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model