Taifead r-phoist: Classical soundness of robustness diagram with loop and the time controls and its related properties in sequence diagrams