Mining Resource-Scheduling Protocols: A Critical Analysis