Added specification and comment about NotificationActor and NotifiedActor