Hi,
I have 13 years experience with VoIP, and Asterisk based applications, I can help your regarding push notification integration. I offer your following options
1. send notification for a single device, no GUI needed, cost $40.
2. send notification to different devices on per each extension, GUI will be provided for this and it will cost usd 150
Please let me know your option
Regards