Formal Punctuality Analysis of Frequent Bus Services Using Headway Data · Study