Title: Techniques for the analysis of monotone Boolean networks