Accounting Logics for Business and Industry: GRC Transaction Real World Examples