Algorithms For Analysis, Inference, And Control Of Boolean Networks (Theoretical Computer Science) - [Version Originale]