Chronological calculus based techniques for solving stabilization problems | IEEE Conference Publication | IEEE Xplore