Formal analysis of Fractional Order Systems in Higher-order Logic