Text this: Modeling techniques for high dependability protocols and architecture /