The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis | IEEE Conference Publication | IEEE Xplore