add algorithm description for time_until_slot()
replace int constant with actual constant