Developing Operator-in-the-loop Timeline Requirements with a Case Study involving Non-cooperative Encounters with Unmanned Aircraft | IEEE Conference Publication | IEEE Xplore