Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex