Properties for the AlarmDetails class