Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort | IEEE Conference Publication | IEEE Xplore