Applying the B Method for the Rigorous Development of Task Management