tlaplus
diff --git a/‎content/industry/index.md‎
Lines changed: 0 additions & 7 deletions b/‎content/industry/index.md‎
Lines changed: 0 additions & 7 deletions
@@ -140,20 +140,13 @@ They have also employed TLA⁺ for model-based trace checking and for modular sp
 > 
 > A. Jesse Jiryu Davis, Max Hirschorn, Judah Schvimer, VLDB 2020
 >
-> 
-> 
-> 
 > [**Fault-Tolerant Replication with Pull-Based Consensus in MongoDB**](https://www.usenix.org/conference/nsdi21/presentation/zhou)
 > 
 > Siyuan Zhou, Shuai Mu, NSDI 2021
 > 
-> 
 > [**Design and Modular Verification of Distributed Transactions in MongoDB**](https://www.vldb.org/pvldb/vol18/p5045-schultz.pdf)
 > 
 > William Schultz, Murat Demirbas, VLDB 2025
-> 
-> 
-
 
 
 ## OpenComRTOS
Original file line number	Diff line number	Diff line change
`@@ -140,20 +140,13 @@ They have also employed TLA⁺ for model-based trace checking and for modular sp`
`140`	`140`	`>`
`141`	`141`	`> A. Jesse Jiryu Davis, Max Hirschorn, Judah Schvimer, VLDB 2020`
`142`	`142`	`>`
`143`		`->`
`144`		`->`
`145`		`->`
`146`	`143`	`> [Fault-Tolerant Replication with Pull-Based Consensus in MongoDB](https://www.usenix.org/conference/nsdi21/presentation/zhou)`
`147`	`144`	`>`
`148`	`145`	`> Siyuan Zhou, Shuai Mu, NSDI 2021`
`149`	`146`	`>`
`150`		`->`
`151`	`147`	`> [Design and Modular Verification of Distributed Transactions in MongoDB](https://www.vldb.org/pvldb/vol18/p5045-schultz.pdf)`
`152`	`148`	`>`
`153`	`149`	`> William Schultz, Murat Demirbas, VLDB 2025`
`154`		`->`
`155`		`->`
`156`		`-`
`157`	`150`
`158`	`151`
`159`	`152`	`## OpenComRTOS`