Added FRAIL's use cases