Exploration Of The Dendritic Cell Algorithm Using The Duration Calculus